d-world-state(D;i) == M(i).stateAction(d-decl(D;i))({m:M(i).Msg| source(mlnk(m)) = i } List) 

latex

---

clarification:

d-world-state(D;i)
== d-m(D; i).stateAction(d-decl(D;i))({m:d-m(D; i).Msg| source(mlnk(m)) = i  Id } List) 

latex

Definitions	d-world-state(D;i), M.state, Action(dec), d-decl(D;i), M.Msg, M(i), Id, source(l), mlnk(m)
FDL editor aliases	d-world-state